141. Collegium Logicum: annals of the Kurt-Godel-Society
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Logic,Congresses ، Logic, Symbolic and mathematical,Congresses ، Automatic theorem proving
رده :
QA
9
.
A1
C58
142. Combinatorics, complexity, and logic: proceedings of DMTCS'96
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Combinatorial analysis,Congresses ، Computational complexity,Congresses ، Logic, Symbolic and mathematical
رده :
QA
164
.
D62
1997
143. Combinatorics, complexity, & logic : proceedings of DMTCS'96
پدیدآورنده : D.S. Bridges...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Combinatorial analysis,Congresses ، Computational complexity,Congresses ، Logic, Symbolic and mathematical
رده :
QA
164
.
D6
1996
144. Combinatorics, computability and logic :
پدیدآورنده : C.S. Calude, M.J. Dinneen and S. Sburlan, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Combinatorial analysis -- Congresses.,Computational complexity -- Congresses.,Logic, Symbolic and mathematical -- Congresses.
145. Combinatorics, computability and logic :
پدیدآورنده : C.S. Calude, M.J. Dinneen and S. Sburlan, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Combinatorial analysis -- Congresses.,Computational complexity -- Congresses.,Logic, Symbolic and mathematical -- Congresses.
رده :
QA164
.
C733
2001
146. Combinatorics, computability, and logic : proceedings of the Third International Conference on Combinatorics, Computability, and Logic, )DMTCS '01(
پدیدآورنده : C.S. Calude, M.J. Dinneen, and S. Sburlan )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Combinatorial analysis,Congresses ، Computational complexity,Congresses ، Logic, Symbolic and mathematical
رده :
QA
164
.
D6
2001
147. Compuer science logic: 10th international workshop, CSL 96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996: selected papers
پدیدآورنده : Dirk van Dalen, Marc Bezem )eds.(
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Computer logic - Congresses
رده :
QA
76
.
9
.
L63
W67
1996
148. Computational intelligence
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه شهركرد (چهار محال و بختیاری)
موضوع : Computational intelligence, Congresses,Fuzzy logic, Congresses
149. Computational intelligence :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computational intelligence ; Congresses ; Fuzzy logic ; Congresses ;
150. Computational intelligence
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computational intelligence ; Congresses. ; Fuzzy logic ; Congresses. ;
151. Computational intelligence : Theory and applications, international conference, 5th fuzzy days Dortmund, Germany, April 28-30, 1997 : proceedings
پدیدآورنده : Bernd Reusch )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computational intelligence,Congresses ، Fuzzy logic
رده :
QA
76
.
L28
Vol
.
1226
152. Computational intelligence in decision and control
پدیدآورنده : editors, Da Ruan ... [et al.]
کتابخانه: کتابخانه دانشکده مدیریت دانشگاه تهران (تهران)
موضوع : Computational intelligence, Congresses,Decision support systems, Congresses,Intelligent control systems, Congresses,Fuzzy logic, Congresses
153. Computational intelligence in decision and control: proceedings of the 8th international FLINS conference, madrid, spai n, 21-24 september 2008
پدیدآورنده : editors, Da Ruan ...[et al.]&
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Computational intelligence -- Congresses,Decision support systems -- Congresses,Intelligent control systems -- Congresses,Fuzzy logic -- Congresses
رده :
Q
،
342
،.
I57
،
2008
154. Computational intelligence : theory and applications : International Conference, 6th fuzzy days, Dortmund, Germany, May 25-28, 1999 : proceedings
پدیدآورنده : Bernd Reusch )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computational intelligence,Congresses ، Fuzzy logic
رده :
QA
76
.
L28
Vol
.
1625
155. Computational intelligence : theory and applications : international conference, 7th Fuzzy Days, Dortmund, Germany, October 1-3, 2001 : proceedings
پدیدآورنده : Bernd Reusch )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computational intelligence,Congresses ، Fuzzy logic
رده :
QA
76
.
L28
Vol
.
2206
156. Computational intelligence. theory and applications : international conference, 9th Fuzzy Days in Dortmund, Germany, Sept. 18-20, 2006 : proceedings
پدیدآورنده : Bernd Reusch )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computational intelligence,Congresses ، Fuzzy logic
رده :
Q
342
.
D67
2006
157. Computational logic
پدیدآورنده : J.W. Lloyd )ed.(
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Automatic theorem proving - Congresses,Logic, Symbolic and Mathematical - Congresses
رده :
QA
.
A96
,
C654
76
.
9
1990
158. Computational logic--CL 2000 : First International Conference, London, UK, July 2000 : proceedings
پدیدآورنده : John Lloyd...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
1861
159. Computational logic and proof theory : Third Kurt Godel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Automatic theorem proving-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
76
.
9
.
A96
.
K87
1993
160. Computational logic and proof theory : Third Kurt Godel Colloquium, KGC'93, Brno, Czech Republic : proceedings
پدیدآورنده : Georg Gottlob, Alexander Leitscch, Daniele Mundici, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
713
